A Methodology for Safety Critical Software Systems Planning
نویسندگان
چکیده
Recently Safety Critical Software Systems (SCSSs) become essential part of many critical systems such as Nuclear Power Plants (NPPs), radiation therapy, aircrafts, and many medical devices. Although of the vital role of SCSSs in saving human life, environment, and properties, there is no generic methodology for developing such systems based on standards and guidelines. This methodology sets an integrated model that concerned about the safety of critical software systems as a component of the critical systems. It consists of the needed processes and operations required for developing SCSSs free of faults. This methodology ensures that SCSSs are developed using processes which based on appropriate standards and guidelines and can be accordingly certified. The objective of this methodology is to produce certified critical software systems that comply and conform to standards and guidelines. The methodology consists of three phases (safety planning and requirements phase, safety analysis phase, and design, implementation, and operation phase). This paper is going to focus on safety plans phase. The insulin pump system is applied as a case study on the safety planning and requirements phase. Key-Words: Safety Critical Software Systems, Safety Analysis and Requirements, Insulin Pump
منابع مشابه
A Methodology for Model-based Verification of Safety Contracts
The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software systems, albeit with a considerable effort. In any case, such an effort is cost-effective when verifying safety-critical systems. Often, safety requirements are expressed usi...
متن کاملTowards Measuring the Project Management Process During Large Scale Software System Implementation Phase
Project management is an important factor to accomplish the decision to implement large-scale software systems (LSS) in a successful manner. The effective project management comes into play to plan, coordinate and control such a complex project. Project management factor has been argued as one of the important Critical Success Factor (CSF), which need to be measured and monitored carefully duri...
متن کاملA novel fuzzy multi-criteria decision-making methodology based upon the spherical fuzzy sets with a real case study
The choice of roll stabilization system is critical for many types of ships. For warships where operational activities are fast and the concept of time is very effective, determining the most appropriate of these systems is of particular importance. Some operations, such as the landing of the helicopter on board, are critical for naval ships. Unwanted rolling motion makes this difficult. In add...
متن کاملIndependent Verification and Validation of Software for Weapon Management System of a High Performance Aircraft
The failure of safety critical embedded software is unacceptable be it for safety, security or economic reasons. The risk of software failure in complex embedded systems is overcome by using the Independent Verification and Validation (IV&V) technique. The process of IV&V and its planning needs to be initiated early in the development life cycle of the weapon management system for a high perfor...
متن کاملFormal Methods in the development of safety critical knowledge-based components
The work reported in this paper is part of the ongoing Esprit project Safe-KBS n. 22360∗. A main objective of the project is the definition of a engineering methodology for certifiable knowledge-based software components to be embedded into safety critical systems. Since about a decade the use of formal methods in the development of traditional software for safety critical systems has been grea...
متن کامل